PKK Library catalog › Results of search for 'pb:North Holland Pub. Co. and se:Studies In Logic And The Foundations Of Mathematics'

Refine your search

Availability
- Limit to currently available items.
Authors
- Hailperin, Theodore (1)
- Kino, A. (2)
- Mostowski, Andrzej (1)
- Myhill, J. (2)
- Szabe, M. E. (2)
- Show more
Holding libraries
- PK Kelkar Library, IIT Kanpur (8)
Home libraries
- PK Kelkar Library, IIT Kanpur (8)
Item types
- Books (7)
- Text Books (1)
Series
Topics
- Calculus -- Congresses (2)
- Categories (Mathematics) (2)
- Combinatory Logic (2)
- Mathematics Analysis -- Congresses (2)
- Proof Theory (2)
- Show more

	1.	CONSTRUCTIBLE SETS WITH APPLICATIONS by Mostowski, Andrzej. Material type: Book; Format: print ; Literary form: not fiction Description: 269.Publisher: Amsterdam North-Holland Pub. Co. 1969Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.817 M855c] (1). Place hold Add to cart (remove)
	2.	THE THEORY OF SEMISETS by Vopenka, Petr \| Hajek, Petr. Material type: Book; Format: print ; Literary form: not fiction Description: 332.Publisher: Amsterdam North-Holland Pub. Co. 1972Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 V899] (1). Place hold Add to cart (remove)
	3.	ALGEBRA OF PROOFS by Szabe, M. E. Material type: Book; Format: print ; Literary form: not fiction Description: xii,297.Publisher: Amsterdam North-Holland Pub. Co. 1978Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 511.3 Sz12a] (1). Add to cart (remove)
	4.	ALGEBRA OF PROOFS by Szabe, M. E. Material type: Book; Format: print ; Literary form: not fiction Description: xii,297.Publisher: Amsterdam North-Holland Pub. Co. 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 Sz12a] (1). Place hold Add to cart (remove)
	5.	BOOLE'S LOGIC LAND PROBABILITY by Hailperin, Theodore. Material type: Book; Format: print ; Literary form: not fiction Description: 245.Publisher: Amsterdam North-Holland Pub. Co. 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.2 H126b] (1). Place hold Add to cart (remove)
	6.	PROCEEDINGS by Kino, A \| Myhill, J \| . Description: 516.Publisher: Amsterdam North-Holland Pub. Co. 1970Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.01 C76] (1). Place hold Add to cart (remove)
	7.	PROCEEDINGS by Kino, A \| Myhill, J \| . Description: 516.Publisher: Amsterdam North-Holland Pub. Co. 1970Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.01 C76] (1). Place hold Add to cart (remove)
	8.	TRUTH, SYNTAX AND MODALITY by Leblanc, Hugues. Description: 317.Publisher: Amsterdam North-Holland Pub. Co. 1973Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 C76] (1). Place hold Add to cart (remove)

PKK Library

Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Refine your search

Authors

Item types

Series

Topics